PatternSynonymOverapplied2.agda:11,4-12
Bad arguments to pattern synonym suc'
when checking that the clause f (suc' m n) = n has type Nat → Nat
